Formal science - PDFSEARCH.IO - Document Search Engine

Formal science
Results: 4621

#	Item
951	Articles Informal Institutions and Comparative Politics: A Research Agenda Gretchen Helmke and Steven Levitsky Mainstream comparative research on political institutions focuses primarily on formal rules. Yet in many con Add to Reading List Source URL: www.rochester.edu Language: English - Date: 2010-06-08 14:33:02 New institutionalism Informal organization Social control Institution Formal organization Norm Douglass North T–V distinction Steven Levitsky Sociology Science Knowledge
952	Applicative Abstract Categorial Grammar Semantics Seminar Toukyou, Japan, June 1, 2012 Add to Reading List Source URL: okmij.org Language: English - Date: 2012-06-05 21:37:41 Formal languages Science Quantification Predicate logic Categorial grammar Parsing Binding Formal grammar Linguistics Logic Semantics
953	Chapter for Lipari Software Engineering Seminar Book; sent to Egon BoergerTHE NAME AND NATURE OF SOFTWARE ENGINEERING DRAFT OF 29 JUNE 2008 Michael Jackson The Open University Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2008-06-29 12:37:00 Formal methods Formal sciences Abstraction Software requirements Systems engineering Formal specification Reason System Engineering Science Knowledge Ethology
954	Languages of Nested Trees ? Rajeev Alur1 , Swarat Chaudhuri1 , and P. Madhusudan2 1 Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2008-03-07 16:10:51 Nested word Words Computer science Models of computation Mathematics Regular tree grammar Finite-state machine Binary tree Tree Automata theory Formal languages Theoretical computer science
955	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran.gis-lab.info Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
956	Research on Math Their Way Over the years we receive inquiries as to available research on Mathematics Their Way. The Center for Innovation in Education has not conducted any formal research studies on Mathematics Their Add to Reading List Source URL: www.center.edu Language: English - Date: 2012-12-23 21:11:13 Standards-based education Education in the United States Science education National Council of Teachers of Mathematics Developmentally Appropriate Practice Principles and Standards for School Mathematics National Science Education Standards Education Education reform Mathematics education
957	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: nbcgib.uesc.br Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
958	Combining Narratives John McCarthy Computer Science Department Stanford University Stanford, CA 94305 Add to Reading List Source URL: www-formal.stanford.edu Language: English - Date: 2002-03-26 18:17:15 Theoretical computer science Logic in computer science Knowledge representation Human spaceflight Situation calculus S0 Event calculus Fluent Entailment Spaceflight Logic Logic programming
959	Applications and Challenges in Satisfiability Modulo Theories Leonardo de Moura Microsoft Research One Microsoft Way Redmond, WA 98052 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-09-16 13:35:41 Formal methods Mathematics Electronic design automation Logic in computer science NP-complete problems Satisfiability Modulo Theories Z3 Boolean satisfiability problem First-order logic Theoretical computer science Constraint programming Applied mathematics
960	Tutorial proposal for FM’08 Jean-Raymond Abrial Topic: Event-B and the Rodin Platform. Abstract on the Objectives and Contents: This tutorial is an introduction to the construction of complex systems using Event-B and Add to Reading List Source URL: www.fm2008.abo.fi Language: English - Date: 2007-12-18 09:23:13 B-Method Rodin Jean-Raymond Abrial Model checking Conceptual model Rodin tool Formal methods Software development Theoretical computer science

UPDATE